#!/bin/csh -f

dvs revert $*

